Information and Computation - PDFSEARCH.IO - Document Search Engine

Information and Computation
Results: 338

#	Item
111	Private Information Retrieval Techniques for Enabling Location Privacy in Location-Based Services? Ali Khoshgozaran and Cyrus Shahabi University of Southern California Department of Computer Science Add to Reading List Source URL: infolab.usc.edu Language: English - Date: 2009-11-05 01:09:05 Private information retrieval Trusted Computing Tor Public-key cryptography Privacy Server Secure multi-party computation Proxy server Cryptography Cryptographic protocols Internet privacy
112	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRMIT-LCS-TR-994 July 21, 2005 Add to Reading List Source URL: www.pmg.lcs.mit.edu Language: English - Date: 2008-08-05 15:15:23 Fault-tolerant computer systems Data synchronization Transaction processing Time Byzantine fault tolerance Theory of computation Transmission Control Protocol Timestamp Replication Computing Data Information
113	Dexter Campbell Kozen May 2, 2015 Office Computer Science Department 436 Gates Hall Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2015-05-26 17:53:30 Formal languages Algebraic logic Algebraic structures Dexter Kozen Kleene algebra Action algebra Rohit Jivanlal Parikh Közen Workshop on Logic Language Information and Computation Mathematics Logic Mathematical logic
114	Microsoft Word - SymposiumEAsNov2008.doc Add to Reading List Source URL: www.siks.nl Language: English - Date: 2008-10-20 11:32:20 Nijmegen Evolutionary computation Evolutionary algorithm Science Academia Nijmegen Institute for Cognition and Information Pim Haselager Radboud University Nijmegen Cognitive science
115	SBART 2.4: an IEC Tool for Creating 2D Images, Movies, and Collage Tatsuo Unemi∗ Department of Information Systems Science Soka University Add to Reading List Source URL: www.intlab.soka.ac.jp Language: English - Date: 2000-04-27 11:02:44 Interactive evolutionary computation Function Mutation Genetic algorithm Cartesian coordinate system Mathematics Elementary mathematics Functions and mappings
116	c Academic Press. To appear. In Information and Computation Type Inference for Variant Object Types Michele Bugliesi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-02-03 06:51:06 Data types Computing Object-oriented programming Polymorphism Type systems Subtype polymorphism Symbol Inheritance System F Type theory Software engineering Programming language theory
117	On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:07 Applied mathematics Models of computation Programming language semantics Logic in computer science Denotational semantics Abstract interpretation Symbol Partial evaluation Interpretation Theoretical computer science Formal languages Mathematics
118	Curriculum Vitae ´ ski Damian Niwin JanuaryCurrent Position Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2012-01-12 19:14:06 Symposium on Theoretical Aspects of Computer Science Logic in computer science International Colloquium on Automata Languages and Programming Fundamenta Informaticae IEEE Symposium on Logic in Computer Science Lecture Notes in Computer Science Workshop on Logic Language Information and Computation Theoretical computer science Applied mathematics Computer science
119	Crowdsourcing Techniques for Affective Computing (Handbook of Affective Computing chapter) Robert R. Morris and Daniel McDuff MIT Media Lab, MIT ABSTRACT Add to Reading List Source URL: affect.media.mit.edu Language: English - Date: 2014-05-16 15:46:49 Science Human-based computation Collaboration Outsourcing Social psychology Amazon Mechanical Turk Foldit Clickworkers Commons-based peer production Collective intelligence Crowdsourcing Social information processing
120	CURRICULUM VITAE Elham Kashefi School of Informatics, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB Nationality: British and Iranian Work Experience Add to Reading List Source URL: ekashefi.files.wordpress.com Language: English - Date: 2014-06-09 11:34:13 Quantum mechanics Quantum computer Quantum programming Quantum information Quantum technology Centre for Quantum Computation Topological quantum computer Qubit Vlatko Vedral Theoretical computer science Quantum information science Physics

UPDATE